#Constants
identifier sink is 20

#Event Types
#This uses a global varibale to set the context of blocks
#the close statements finish blocks so we can do some checking

#How to close a block?
#1: we could do a define <something> / <something> define block like if-fi
#2: use close (optionally with the name?)

define type senddone as send
nodeid is integer subset [0,255] => error
destination is integer => warning
origin is integer subset [0,255] => error
seqNo is integer periodic [0,255] => error
ack is integer subset [0,1] => warning
type define


constraint send on nodeid => 40
destination is integer subset [29,41,42]=> warning
close constraint

constraint meas
syncdiff is integer periodic [0,255] => warning("sync-diff out of typical range")
close constraint send